$\forall$$T$:Type. ($<$o,Id$>$ monoid on $T$) $\in$ IMonoid